c static code analysis